基于时间窗的SVDBN近似推理算法研究

变结构动态贝叶斯网络(SVDBN)在处理非稳态过程的不确定问题具有其独特的优越性。为克服SVDBN推理算法不能实现在线推理的缺陷,在引入SVDBN的时间窗和时间窗宽度概念基础上,阐述了基于时间窗的SVDBN在线近似推理机制,提出了2种在线近似推理算法,即基于时间窗的变结构离散动态贝叶斯网络(SVDDBN)递推推理算法和基于时间窗的SVDDBN快速推理算法。通过仿真实验验证了这2种算法的有效性,并从复杂度、适用范围及更新时间等方面进行了比较。     

原因、假说选择与最佳解释推理

科学哲学领域的方法论研究者提出了各种对“最佳解释”,“融贯性”或者“统合性”的概率测度.这些测度如果有用,至少在某些情况下依赖它们作解释性推理应该比因果推理中通常用的统计方法更准确.格拉斯(2012)发现,大多数此类测度在小样本的情况下都不优于通常统计方法中用的似然度(likelihood)或后验概率.此后,格拉斯(2013)比较了他定义的测度和后验概率对解决一类假说选择问题的优劣.在该类问题中,需要从一组互不相容且非此即彼的假说中择一,但假说的概率未知.他的结果显示,在似然度已知而主观的先验概率和真实的概率分布不同的情况下,如果样本很小,极大化他的测度选择假说可以比极大化后验概率更准确.本文在格拉斯的框架下探究一些一致的模型选择方法在有限样本下的准确性.笔者发现不同方法在准确性上的优劣依赖于真实假说的分布以及所采用的主观先验概率.虽然很多方法可能在所有设置下都不是最优,但也没有方法在所有设置下都是最优.笔者认为,如果对真实假说的分布和主观先验概率没有限定,讨论哪种方法在样本量不大的情况下能更准确的选出真假说意义不大.     

基于主观Bayes方法的不确定推理算法实现

不确定推理是指建立在不确定性知识和论据基础上的推理。本文设计了基于主观Bayes方法的不确定性推理算法,通过实验结果比较了结论不确定的合成算法与更新算法的一致性,实现了不确定推理问题求解的自动化。     

一种基于网络分析的语义冗余发现方法

以农业AGROVOC本体为例,结合语义万维网推理机制定性分析冗余信息产生原因,利用复杂网络分析方法量化推理过程中产生的冗余,进而确定本体中的核心概念,解决推理冗余问题。实验表明,复杂网络分析方法可从定量角度找出核心节点及导致推理产生冗余的边,并揭示了语义冗余引起的推理效率降低问题。为优化本体设计、提高推理效率提供了一种新的可行方法。     

定金不是订金

正"一字之差,谬以千里。"今年夏天,小虎深深地理解了这句话的含义。小虎的父母常年在外打工,他与爷爷在乡间生活。爷爷为了让小虎更好地学习,打算给小虎在县城中学附近租一间房屋。爷孙俩看上了一间房屋,经过与房东一番议价,双方确定了租房意向。尽管离开学还有一个多月,但房东拟定了租房合同,要求小虎和爷爷先交定金。爷爷视力不好,让小虎代看合同。小虎大致看了一遍合同,就让爷爷签字,交了一千元。     

案例推理技术在Websphere MQ故障维护中的应用

案例推理技术是人工智能领域中一种基于知识问题的求解方法。阐述了案例推理技术原理和特点、Websphere MQ原理和故障机制,就案例推理技术应用于Websphere MQ故障维护的相关问题做了一些研究和探讨,为案例推理技术在软件故障智能维护技术研究提供了思路,开辟了案例推理技术新的应用研究领域。     

华中科技大学学报(自然科学版) 2017年 第45卷 总目次

将最大团求解算法融入到极大团枚举算法中,提出了两种带极大团下限的极大团枚举算法及多种预处理筛选策略,通过迭代将不可能包含在极大团中的部分点与边删除,使得搜索空间大幅减小.在搜索策略上,将求解最大团问题的贪心染色算法、增量MaxSAT推理算法与极大团枚举算法相融合,并结合最佳筛选策略,提出了染色-关键点融合算法BKFC(Bron-Kerbosch with filtering and coloring)和基于增量MaxSAT推理的枚举算法BKFS(Bron-Kerbosch with filtering and MaxSAT).结果表明:在多个大型算例上,BKFC算法平均时间仅为加入预处理的改进经典算法的68.8%;由于经典算法无法在大型算例上运行,在小数据测试中,BKFC算法平均时间仅为没有预处理策略的经典算法的2.2%.     

HPS在美国的创立及其对科学发现方法论的贡献

近年来,HPS,即科学史和科学哲学研究领域在国内学界受到更多的重视。回顾HPS的发展,哲学家汉森为HPS事业在美国的创立做出了奠基性的贡献,在这之后他的科学哲学理念又对当代科学哲学以及科学发现方法论产生了深远的影响。全文在考察汉森创立HPS事业的特殊历史背景的基础上,深入探讨了汉森分外强调的注重科学史考察的科学哲学研究理念对当代科学发现逻辑的复兴以及对西蒙的机器发现研究所产生的影响。     

金字塔教学模式在大学英语分级教学B班课程设计之初探

大学英语分级教学已经实行了多年,教学上基本遵循了"分类指导、因材施教"原则(教育部高等教育司,2007:1),体现了以人为本,以学生为主体的教学理念,与传统的自然班教学相比取得了明显的效果,但针对大学生英语水平结构仍然极不平衡,个体差异较大,尤其分类教学中B级班教学中教师面临更大困难,该文引入金字塔原理就B级班如何选择教材,层级教学如何具体设计及实施,结合自身教学实践进行了创新性探讨。     

基于区间证据推理的不确定性航线配船方法

为弥补不确定性航线配船模拟算法的不足,提出一种基于区间证据推理的航线配船解析算法.该方法以证据推理理论为基础,以船舶公司期望效用最大化为目标,考虑航线特征及船舶属性等因素,构建出一个多航线、多船型的航线配船模型.与目前的模拟算法相比,该方法具有稳定性好、准确性高、可以处理模糊数据等优点.最后,通过算例验证了模型的可行性和方法的有效性.